Conservative distributed simulation of Petri nets
نویسندگان
چکیده
منابع مشابه
Parallel and Distributed Simulation of Petri Nets
The dynamics of discrete event systems can be e ectively described and analyized using the timed Petri net formalism. The aim of this tutorial is to comprehensively present the achievements attained in accelerating Petri net executions by using parallel or distributed multiprocessing environments. The basic problem is to generate concurrent Petri net executions insuring correctness in the sense...
متن کاملBranching Processes of Conservative Nested Petri Nets
Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the “nets-within-nets” approach, when tokens in a marking are themselves Petri nets which have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with a dynamic structure in a natural way. In this paper we define branching processes and un...
متن کاملDistributed Unfolding of Petri Nets
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the system, which are then correlated with diagnoses from neighbouring supervisors. In this paper we propose a notion of system factorisation expressed in terms of pullback decomposition. To ensure coherence of the local vi...
متن کاملDistributed Control Systems Simulation Using High Level Petri Nets
To deal with the complexity of the implementation of control systems for exible manufacturing systems formal methods of design are needed. In this work the modelling and validation tool selected is high level Petri nets. Based on this approach we have studied the problems that a distributed implementation can produce. For the evaluation of diierent strategies of the model implementation and the...
متن کاملTowards Distributed Verification of Petri Nets Properties
The use of distributed or parallel processing gained interest in the recent years to fight the state space explosion problem. Many industrial systems are described with large models, and the state space being even larger, it does not fit completely into the memory of a single computer. In this approach several computers connected over a network cooperate. The state space is then partitionned am...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1994
ISSN: 0898-1221
DOI: 10.1016/0898-1221(94)90122-8